#include <stdio.h>

extern int b();
extern int c();
extern int d();

int a() {
  return 1;
}

int main() {
  printf("%d %d %d %d\n", a(), b(), c(), d());
}
